[IA64] Fix time services of EFI emulation
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 10 Nov 2006 19:03:19 +0000 (12:03 -0700)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 10 Nov 2006 19:03:19 +0000 (12:03 -0700)
commit669421186b26ca36925a54e11a91e8657464fbb1
tree00c30abf3bf132ec1d9f9d150de53d09c467d63e
parent2dd88a1d24d0a62a7cffbe24b0250ea2d7fa8f8c
[IA64] Fix time services of EFI emulation

This patch serializes the execution of following efi.runtimes.
  - GetTime
  - SetTime
  - GetWakeTime
  - SetWakeTime

Linux/ia64 uses similar spinlocks in the EFI RTC driver.

Signed-off-by: Masaki Kanno <kanno.masaki@jp.fujitsu.com>
xen/arch/ia64/xen/fw_emul.c